Show that f : N→ S